Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
91	Eskolemization in intuitionistic logic Matthias Baaz∗ Inst. for Discr. Math. and Geom. Technical University Vienna Wiedner HauptstrasseVienna, Austria Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2009-04-03 05:11:01 Logic Mathematical logic Abstraction Model theory Proof theory Predicate logic Philosophical logic Non-classical logic Sequent First-order logic Quantifier Skolem normal form
92	Practical Reflection in Nuprl Eli Barzilay Stuart Allen Robert Constable Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-03-26 22:21:47 Software engineering Programming language theory Declarative programming Automated theorem proving Logic programming Type theory Lambda calculus Formal methods Higher-order abstract syntax Nuprl Lisp Substitution
93	Stably Computing Order Statistics with Arithmetic Population Protocols∗ George B. Mertzios1 , Sotiris E. Nikoletseas2,3 , Christoforos L. Raptopoulos2,3 , and Paul G. Spirakis2,3,4 1 2 Add to Reading List Source URL: community.dur.ac.uk Language: English - Date: 2016-06-08 05:06:10 FO Finite model theory Module:Ccnorm
94	Interprocedural Dependence Analysis of Higher-Order Programs via Stack Reachability Matthew Might Tarun Prabhu Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2010-10-16 23:59:16 Logic Mathematics Metalogic Model theory Structure Abstraction
95	Nordic Journal of Computing ON INTRODUCING HIGHER ORDER FUNCTIONS IN ABEL BJØRN KRISTOFFERSEN Department of Mathemathics and Informatics Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Software engineering Computer programming Declarative programming Type theory Data types Functional programming Higher-order functions Object-oriented programming Subtyping Fold Map Function
96	Finding Exact and Maximum Occurrences of Protein Complexes in Protein-Protein Interaction Graphs Guillaume Fertin1 , Romeo Rizzi2 , and St´ephane Vialette3 1 Laboratoire d’Informatique de Nantes-Atlantique (LINA), FR Add to Reading List Source URL: pagesperso.lina.univ-nantes.fr Language: English - Date: 2009-07-03 08:57:15 Mathematics Abstract algebra Algebra Graph homomorphism Graph theory Morphisms Weight Injective function Order
97	c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-06-23 21:20:00 Software engineering Theoretical computer science Logic Logic programming Models of computation Functional languages Computability theory Lambda calculus Substitution Standard ML Higher-order abstract syntax Security type system
98	Higher-order interference and single-system postulates characterizing quantum theory Howard Barnum,1, 2, ∗ Markus P. M¨ uller,3, † and Cozmin Ududec4, ‡ 1 arXiv:1403.4147v4 [quant-ph] 3 Jan 2015 Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-01-05 21:00:17 Physics Quantum mechanics Theoretical physics Logic Quantum logic Laws of science Hilbert space Special relativity Spin
99	LEARNING OUTCOMES FOR THE MASTERS OF PUBLIC ADMINISTRATION In order to become effective public leaders, students must develop a solid foundation in technical, analytical, ethical, diversity, accountability, and leadershi Add to Reading List Source URL: www.mpa.niu.edu Language: English - Date: 2015-04-02 11:09:30 Accountability Professional studies Public administration Structure Management education Administration Business Management Organizational theory Strategic management Master of Public Administration University of Maryland School of Public Policy
100	A theory of granular parthood based on qualitative cardinality and size measures Thomas BITTNER1,2,3,4 and Maureen DONNELLY1,3 1 Department of Philosophy, 2 Department of Geography 3 Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2006-11-21 12:49:37 Mathematics Algebra Abstract algebra Finite fields Cardinality First-order logic XTR Limit of a function Metric Algebraic number field Lambda lifting

UPDATE